Decisiveness of stochastic systems and its application to hybrid models
نویسندگان
چکیده
In 2007, Abdulla et al. introduced the concept of decisiveness, an interesting tool for lifting good properties finite Markov chains to denumerable ones. Later, this was extended more general stochastic transition systems (STSs), allowing design various verification algorithms large classes (infinite) STSs. We further improve understanding and utility decisiveness in two ways. First, we provide a criterion proving This criterion, which is very natural but whose proof rather technical, (strictly) generalizes all known criteria from literature. Second, focus on hybrid (SHSs), extension systems. establish class SHSs and, under few classical hypotheses mathematical logic, show how decide reachability problems class, even though they are undecidable SHSs. provides decidable o-minimal
منابع مشابه
construction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
Stochastic Hybrid Systems: Application to Communication Networks
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a continuous-time Markov chains. However, the rate at which transitions occur is allowed to depend both on the continuous and the discrete states of the SHS. Based on results available for Piecewise-Deterministic Markov Proce...
متن کاملpetrology and geochemistry of khar-bash (western shahrood) and its relation ship to iron mineralization
منطقه مورد مطالعه در 23 کیلومتری جنوب غرب شهرستاشاهرود قرار دارد که در نقشه 100000/1 شاهرود قرار گرفته است.ناحیه مورد مطالعه در تقسیمات ساختاری ایران بخشی از زون البرز شرقی است . در طی سنوزوئیک این زون به شدت تحت تأثیر فازهای کوهزایی آلپی قرار گرفته و فعالیت های آتشفشانی انوسن در قسمت های غربی آن دیده می شود . از نظر ترکیب سنگ شناسی منطقه مورد مطالعه متنوع و بیشتر شامل سنگ های رسوبی مانند : آ...
15 صفحه اولPreservation of Stochastic Orderings of Interdependent Series and Parallel Systems by Componentwise Switching to Exponentiated Models
This paper discusses the preservation of some stochastic orders between two interdependent series and parallel systems when the survival and distribution functions of all components switch to the exponentiated model. For the series systems, the likelihood ratio, hazard rate, usual, aging faster, aging intensity, convex transform, star, superadditive and dispersive orderings, and for the paralle...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information & Computation
سال: 2022
ISSN: ['0890-5401', '1090-2651']
DOI: https://doi.org/10.1016/j.ic.2021.104861